MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:11 GMT
Content-Type: text/html
Content-Length: 2105
Last-Modified: Thursday, 02-May-96 14:56:35 GMT

<HEAD>
<title>Teaching Logic as a tool</title>
</HEAD>
<BODY>
<h1>An introduction to teaching logic as a tool</h1>

<BLOCKQUOTE>
   <strong>Logic is the glue that binds together methods of reasoning,
   in all domains.</strong><BR>
   ---David Gries and Fred B. Schneider</BLOCKQUOTE>

<P><A NAME "Return">Click</A> on any of the following items for more information.</P>
<ul>
  <li> <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/LogicalApproach.html">A text on teaching logic as a tool:
       <em>A Logical Approach to Discrete Math</em></A>

  <li> <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Manual.html">Instructor's Manual for
       <em>A Logical Approach to Discrete Math</em></A><BR><BR>

  <li> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Equational.html">Brief introduction to equational logic</A>

  <li> <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Equational.html#Inference">Inference rules of equational logic</A>

  <li> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Axioms.html">Axioms of equational logic</A>

  <li> <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Prec.html">Precedence rules</A>

  <li> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Strat.html">Useful proof principles and heuristics</A>

  <li> <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Informal.html">Grounding informal proof techniques in logic</A>

  <li> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Neatsolution.html">A neat solution to a word problem</A><BR><BR>

  <li> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Equationalhistory.html">A short history of equational logic</A><BR><BR>

  <li> <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Panel.html">Panel on teaching logic as a tool (March 1995)</A>
  <li> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Articles.html">Articles and lectures on teaching logic as a tool</A>
  <li> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Events.html">Upcoming events regarding teaching logic as a tool</A><BR><BR>

  <li> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Papers/limerick.html">A Glimmer(ick) of Hope</A>
                 (Banquet speech at ZUM95, September 1995, in
                 <em>Limerick</em>, Ireland, so be prepared.)<br><br>

  <li> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Papers/trefethenlimericks.html">Trefethen's madness</A>
                 --thoughts on Gries in limerick form<br><br>

  <li> Home pages for:
      <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF = "http://www.cs.cornell.edu/Info/People/gries/gries.html">Gries</A>
      and <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF = "http://www.cs.cornell.edu/Info/Faculty/Fred_Schneider.html">Schneider</A>
 
  <li> <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF = "http://www.cs.cornell.edu/">Cornell CS Department Home Page</A>
</ul>
</BODY>
